1061. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
1062. Wireless and satellite systems :
پدیدآورنده : Min Jia, Qing Guo, Weixiao Meng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
1063. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1064. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
1065. based software engineering :-Search
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ;
1066. oriented software engineering VI-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1067. oriented software engineering VII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1068. oriented software engineering VIII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1069. 3rd IEEE Symposium on Application-Specific Software Engineering Technology: proceedings, March 24-25, 2000, Richardson, Texas
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Application software,Congresses ، Software engineering
رده :
QA
76
.
76
.
A65
.
I52
2000
1070. 3rd International Conference on Software Engineering, May 10-12, 1978; Sponsored by IEE Computer Society, National Bureau of Standards ]and[ ACM Sigsoft
پدیدآورنده : International Conference on Software Engineering, 3rd, Atlanta, Georgia, 8791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming )Electronic computers(-- Congresses
رده :
QA
76
.
I57
1978
1071. services :-technologies, infrastructures, tools, and applications for e-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
1072. 16th International Conference on Software Engineering
پدیدآورنده : International Conference on Software Engineering )4991: Sorrento, Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic digital computers- Programming- Congresses,، Software engineeing- Congresses,، Programming languages )Electronic computers(- Congresses
1073. 13th International conference on Software Engineering, Austin,Texas May 13-16, 1991
پدیدآورنده : / Sponsored by: ACM special Interest Group on Software Engineering IEEE Computer Society Technical Committee on Software Engineering
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Software engineering -- Congresses
رده :
QA
76
.
758
.
I5
1991
1074. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
